#ifndef __X64KERNEL_KERNEL_H__
#define __X64KERNEL_KERNEL_H__
#include "types.h"
#include "stdarg.h"

int vsprintf(char* buf, const char* fmt, va_list args);

int printk(const char* fmt, ...);
#endif